|
|
1.
九宫数独的方程求解算法研究
肖华勇 程海礁 王月兴
计算机应用
2012, 32 (10):
2907-2910.
DOI: 10.3724/SP.J.1087.2012.02907
首先从数独的要求出发建立方程组,该方程组的解与原数独的解完全等价。然后由该方程组推导出一系列数学性质,包括删除候选数性质、唯一确定法性质、矛盾性质和不变性性质。并说明数独的人工推理规则包含在这些性质之中。最后由这些性质提出求解该方程组的算法,算法中用一个三维矩阵来表示待求解九宫数独的候选数矩阵,根据上述性质对候选数矩阵进行删减,直到能够解出此九宫数独。此算法能够求解出许多数独软件无法进行推理计算的数独难题,并用两个数独难题进行验证,说明了该算法的有效性。
参考文献 |
相关文章 |
多维度评价
|
|
